On the $n$-back-and-forth types of Boolean algebras

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

ON THE n-BACK-AND-FORTH TYPES OF BOOLEAN ALGEBRAS

The objective of this paper is to uncover the structure of the back-andforth equivalence classes at the finite levels for the class of Boolean algebras. As an application, we obtain bounds on the computational complexity of determining the back-and-forth equivalence classes of a Boolean algebra for finite levels. This result has implications for characterizing the relatively intrinsically Σn re...

متن کامل

March 4, 2010 ISOMORPHISM TYPES OF BOOLEAN ALGEBRAS IN THE BACK-AND-FORTH HIERARCHY

We investigate the back-and-forth types which isomorphism types. The main result is that the indecomposable isomorphism types which arise at the finite levels of the back-and-forth hierarchy are the same the finitary isomorphism types in Heindorff.

متن کامل

Counting the back-and-forth types

Given a class of structures K and n ∈ ω, we study the dichotomy between there being countably many n-back-and-forth equivalence classes and there being continuum many. In the latter case we show that, relative to some oracle, every set can be weakly coded in the (n− 1)st jump of some structure in K. In the former case we show that there is a countable set of infinitary Πn relations that capture...

متن کامل

the structure of lie derivations on c*-algebras

نشان می دهیم که هر اشتقاق لی روی یک c^*-جبر به شکل استاندارد است، یعنی می تواند به طور یکتا به مجموع یک اشتقاق لی و یک اثر مرکز مقدار تجزیه شود. کلمات کلیدی: اشتقاق، اشتقاق لی، c^*-جبر.

15 صفحه اول

existence and approximate $l^{p}$ and continuous solution of nonlinear integral equations of the hammerstein and volterra types

بسیاری از پدیده ها در جهان ما اساساً غیرخطی هستند، و توسط معادلات غیرخطی ‎‏بیان شد‎‎‏ه اند. از آنجا که ظهور کامپیوترهای رقمی با عملکرد بالا، حل مسایل خطی را آسان تر می کند. با این حال، به طور کلی به دست آوردن جوابهای دقیق از مسایل غیرخطی دشوار است. روش عددی، به طور کلی محاسبه پیچیده مسایل غیرخطی را اداره می کند. با این حال، دادن نقاط به یک منحنی و به دست آوردن منحنی کامل که اغلب پرهزینه و ...

15 صفحه اول

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Transactions of the American Mathematical Society

سال: 2012

ISSN: 0002-9947,1088-6850

DOI: 10.1090/s0002-9947-2011-05331-6